$\forall$$A$, $B$:Type, $f$:($A$$\rightarrow$$B$). mapc($f$) $\in$ ($A$ List)$\rightarrow$($B$ List)